<body>
	Provides a codec for converting axioms of Glue Semantics into
	labelled dominance graphs (EXPERIMENTAL).
</body>